Asterix: an Interactive Environment for Logic Synthesis and Analysis 1
نویسنده
چکیده
We present an interactive environment, named AStErIx, to help the development of new logic synthesis algorithms and visualize graphically the synthesis results. This environment is based on public domain tools (Sis and LEDA), with added facilities to improve the programming support (based on the Obelix library), and a graph interface (Ideex) to analyze the experimental results. The whole system is governed by a friendly interface (Panoramix) to call interactively the logic synthesis commands and scripts.
منابع مشابه
Computer Science Exercises in a Virtual University
In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support this direct feedback. It contains different interactive tasks from the area of the formal foundations of computer science. Asterix is available over an internet interface. The implementation of the interactive presentation and c...
متن کاملAsterix calculus - classical computation in detail
We present Asterix calculus (also denoted *X calculus), built from names instead of variables. Asterix is designed to stand in computational correspondence with classical logic represented in the sequent calculus. More precisely, in the sequent system G1 [1], featuring explicit structural rules weakening and contraction. It is possible to define many variants of Gentzen sequent systems. The bas...
متن کاملThe Asterix real-time kernel
This paper describes a real-time kernel, Asterix, that in a practical manner makes use of many of the recent advances made in the real-time systems research community. The basic ambition behind the development of the Asterix real-time kernel was to pack state-of the art research results into package such that it can be easily used and understood by people in the embedded systems industry. From ...
متن کاملPorting the Bound-T WCET tool to Lego Mindstorms and the Asterix RTOS
Static Worst Case Execution Time (WCET) analysis is a technique that computes an upper bound of the execution time of a program before runtime. Static WCET analysis has a potential to cut costs and save time in the development of real-time systems. These are systems that do not just demands a correct result, but also demands correct timing. However, static WCET analysis has not yet reached the ...
متن کاملASTERIX: An Open Source System for "Big Data" Management and Analysis
At UC Irvine, we are building a next generation parallel database system, called ASTERIX, as our approach to addressing today’s “Big Data” management challenges. ASTERIX aims to combine time-tested principles from parallel database systems with those of the Web-scale computing community, such as fault tolerance for long running jobs. In this demo, we present a whirlwind tour of ASTERIX, highlig...
متن کامل